Nuprl Definition : case_inr
2,24
postcript
pdf
inr(
x
)
body
(
x
) ;
cont
(
value
,
contvalue
)
== Case
value
of inl(
_
)
cont
(
contvalue
,
contvalue
) ; inr(
x
)
body
(
x
)
latex
FDL editor aliases
case_inr
origin
body(x) ; cont(value,contvalue)
cont(contvalue,contvalue) ; inr(x) body(x) body(x) ; cont(value,contvalue)
cont(contvalue,contvalue) ; inr(x) body(x)